Uses of Package
edu.uky.ai.lp.logic

Packages that use edu.uky.ai.lp.logic 
Package Description
edu.uky.ai.lp.ai
Contains classes for creating agents who play "Hunt the Wumpus".
edu.uky.ai.lp.logic
Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.
  • Classes in edu.uky.ai.lp.logic used by edu.uky.ai.lp.ai 
    Class Description
    Expression
    An expression is any logical formula with a truth value.
    KnowledgeBase
    A knowledge base is a collection of facts and rules that describe a logical universe.
    Unifier
    A unifier tracks which variable are equal to one another and which variable are equal to constants.
  • Classes in edu.uky.ai.lp.logic used by edu.uky.ai.lp.logic 
    Class Description
    BooleanExpression
    The superclass of all Boolean logical expressions.
    Conjunction
    Represents an expression with 1 or more conjuncts which must all be true.
    Constant
    Represents a specific thing in the logical universe.
    Disjunction
    Represents an expression with 1 or more disjuncts, at least one of which must be true.
    Expression
    An expression is any logical formula with a truth value.
    Fact
    A fact is an individual atomic logical statement in function-free predicate logic.
    Formula
    Represents the superclass of all logical formulas.
    NAryBooleanExpression
    The superclass of any Boolean expression with multiple arguments.
    Negation
    Represents an expression whose opposite is true.
    Rule
    A rule is a logical axiom used deduce new information.
    Term
    The superclass of all logical expression representing specific things in the universe.
    Unifier
    A unifier tracks which variable are equal to one another and which variable are equal to constants.
    Variable
    Represents a place-holder term which can be bound to any constant.